second-order logic - German English Dictionary